-
1 Formal Inference Recursive Modeling
Mathematics: FIRMУниверсальный русско-английский словарь > Formal Inference Recursive Modeling
-
2 Formal Weak
Mathematics: FW -
3 Formal System
Common to both logical positivism and transformational linguistics is their view of language-as-mathematics. Both focus on language as a system of primitive or elementary units which can be combined according to fixed rules. However useful this analogy may be in certain limited ways, it creates problems in understanding how the purely formal system of elements and rules relates to something other than itself. Both create dualistic systems which oppose formal linguistic competence to empirical components. (Tyler, 1978, pp. 13-14)Historical dictionary of quotations in cognitive science > Formal System
-
4 формальная математика
Mathematics: formal mathematicsУниверсальный русско-английский словарь > формальная математика
-
5 формальная математика
formal mathematics мат.Русско-английский научно-технический словарь Масловского > формальная математика
-
6 формальное разложение
Mathematics: formal development, formal expansion, formal factorizationУниверсальный русско-английский словарь > формальное разложение
-
7 для порядка
Mathematics: be formal, for form's sake, to be formal -
8 формальная выводимость
Mathematics: formal deducibility, formal derivabilityУниверсальный русско-английский словарь > формальная выводимость
-
9 формальное вычисление
Mathematics: formal calculation, formal computationУниверсальный русско-английский словарь > формальное вычисление
-
10 формальное определение
Mathematics: formal characterization, formal definitionУниверсальный русско-английский словарь > формальное определение
-
11 формальное следствие
Mathematics: formal consequence, formal corollaryУниверсальный русско-английский словарь > формальное следствие
-
12 арифметическое исчисление
Mathematics: formal arithmeticУниверсальный русско-английский словарь > арифметическое исчисление
-
13 деривативная формальная система
Mathematics: derivational formal systemУниверсальный русско-английский словарь > деривативная формальная система
-
14 кольцо формальных степенных рядов
Mathematics: ring of formal power seriesУниверсальный русско-английский словарь > кольцо формальных степенных рядов
-
15 корректная формальная система
Mathematics: correct formal systemУниверсальный русско-английский словарь > корректная формальная система
-
16 метод кратных масштабов
Mathematics: (the formal perturbation procedure known as the) method of multiple scales (or in its simplest form two-timing relies on...)Универсальный русско-английский словарь > метод кратных масштабов
-
17 семантически формальный язык
Mathematics: semantic-formal languageУниверсальный русско-английский словарь > семантически формальный язык
-
18 формальная аксиоматика
Mathematics: formal axiomaticsУниверсальный русско-английский словарь > формальная аксиоматика
-
19 формальная аппроксимация
Mathematics: formal approximationУниверсальный русско-английский словарь > формальная аппроксимация
-
20 формальная арифметика
Mathematics: formal arithmeticУниверсальный русско-английский словарь > формальная арифметика
См. также в других словарях:
Mathematics education — A mathematics lecture at Aalto University School of Science and Technology. Educational Research … Wikipedia
Mathematics and art — have a long historical relationship. The ancient Egyptians and ancient Greeks knew about the golden ratio, regarded as an aesthetically pleasing ratio, and incorporated it into the design of monuments including the Great Pyramid,[1] the Parthenon … Wikipedia
Formal science — A formal science is a theoretical study that is concerned with theoretical formal systems, for instance, logic, mathematics, systems theory and the theoretical branches of computer science, information theory, economics, statistics, and… … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Mathematics — Maths and Math redirect here. For other uses see Mathematics (disambiguation) and Math (disambiguation). Euclid, Greek mathematician, 3r … Wikipedia
Formal group — In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were first defined in 1946 by S. Bochner. The term formal group sometimes means the same as formal group law,… … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
Formal — The term formal has a number of uses, including:General*relating to formality *opposite of informalocial* Formal occasion ** Formal attire worn on such occasions ** Formals are particular meals at some British universities ** In Australian or… … Wikipedia